1. Applied Formal Methods FM-Trends 98
Author: \ [Edited by] Dieter Hutter...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها
Classification :
E-Book
,
2. Applied formal methods
Author: / Dieter Hutter... [et al.], (eds.
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Formal methods (Computer science)--Congresses
3. Applied formal methods--FM Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9 1998 : proceedings
Author: Dieter Hutter...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal methods )Computer science(
Classification :
QA
76
.
L28
Vol
.
1641
4. Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings
Author: Manuel Nunez ...]et al.[ )eds(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
Classification :
QA
76
.
L28
Vol
.
3236
5. Cafe
Author: / edited by K. Futatsugi, A.T. Nakagawa, T. Tamai
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Algebraic logic , Congresses,Formal methods (Computer science) , Congresses,Electronic books. , local
Classification :
E-BOOK
6. Certified Programs and Proofs :
Author: edited by Chris Hawblitzel, Dale Miller.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Computer software -- Congresses.,Formal methods (Computer science) -- Verification -- Congresses.
Classification :
QA76
.
9
.
M35
E358
2012
7. Computer performance engineering :
Author: Maria Simonetta Balsamo, William J. Knottenbelt, Andrea Marin (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer systems-- Evaluation, Congresses,Computers-- Reliability, Congresses,Formal methods (Computer science), Congresses
Classification :
QA76
.
9
.
E94
E64
2013
8. Computer performance engineering
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Formal methods (Computer science) ; Congresses. ; Stochastic models ; Congresses. ; Computer systems ; Evaluation ; Congresses. ; Leistungsbewertung ; Kongress ; London <2009> ; Leistungsbewertung. ; swd. ;
9. Computer performance engineering
Author: / Jeremy T. Bradey (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Formal methods (Computer science)--Congresses,Stochastic models--Congresses,Computer systems--Evaluation--Congresses,Leistungsbewertung--Kongress--London <2009>,Leistungsbewertung.--swd,Kongress.--swd,London (2009)--swd
Classification :
QA
,
76
.
9
,.
E94
,
E64
,
2009
10. Computer performance engineering
Author: / Alessandro Aldini ... [et al.] (eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Formal methods (Computer science), Congresses,Stochastic models, Congresses,Computer systems, Evaluation, Congresses
Classification :
QA76
.
9
.
E94E64
2010
11. Computer performance engineering : 14th European Workshop, EPEW 2017 Berlin, Germany, September 7 8, 2017 Proceedings
Author: Philipp Reinecke, Antinisca Di Marco )eds.(
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: Congresses ، Computer systems - Evaluation,Congresses ، Computers - Reliability,Congresses ، Formal methods )Computer science(,Evaluation ، Computer systems,Reliability ، Computers,، Formal methods )Computer science(,، Conference proceedings
Classification :
QA
76
.
9
.
E94
E64
2017
12. Correct System Design
Author: \ Roland Meyer ,André Platzer, Heike Wehrheim (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses.,Logics and Meanings of Programs.,روشهای صوری (کامپیوتر) -- کنگره ها
Classification :
QA
76
.
9
.
F67C6
2015
E-Book
,
13. Descriptional Complexity of Formal Systems
Author: \ Jeffrey Shallit , Alexander Okhotin (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses.,Formal languages -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,زبانهای صوری -- کنگره ها
Classification :
QA
76
.
9
.
D4
2015
E-Book
,
14. Descriptional complexity of formal systems :
Author: edited by Michal Hospodár, Galina Jirásková, Stavros Konstantinidis.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Formal methods (Computer science), Congresses.,Logic design.,Artificial intelligence.,Computer science.,Formal methods (Computer science),Logic design.
Classification :
QA76
.
5913
D34
2019
15. Descriptional complexity of formal systems :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Formal methods (Computer science) ; Congresses. ;
16. Descriptional complexity of formal systems :
Author: Martin Kutrib, Nelma Moreira, Rogério Reis (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages -- Congresses.,Formal methods (Computer science) -- Congresses.,Machine theory -- Congresses.
17. Descriptional complexity of formal systems :
Author: Markus Holzer, Martin Kutrib, Giovanni Pighizzini (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages, Congresses,Formal methods (Computer science), Congresses,Machine theory, Congresses
Classification :
QA267
.
3
.
D34
2011
18. FM 2015
Author: \ Nikolaj Bjørner , Frank de Boer (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses.,Software engineering.,روشهای صوری (کامپیوتر) -- کنگره ها ,مهندسی نرم افزار
Classification :
QA
76
.
9
.
F57
2015
E-Book
,
19. FM 2012
Author: Dimitra Giannakopoulou, Dominique Méry (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
Classification :
QA76
.
76
.
D47
I593
2012eb
20. FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings
Author: John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Congresses ، System design
Classification :
QA
76
.
L28
Vol
.
3582
